A generic knowledgebase for test generation

نویسندگان

  • Artem Kotsynyak
  • Andrei Tatarnikov
چکیده

Nowadays a lot of various test generation tools are developed and applied to create tests for both software applications and hardware designs. Taking into account the size and complexity of modern projects, there is an urgent need for "smart" tools that would help maximize test coverage and keep the required effort and time to a minimum. Despite the fact that each project is unique in some sense, there is a set of common generation techniques that are applied in a wide range of projects (random tests, combinatorial tests, tests for corner cases, etc). In addition, projects belonging to specific domains tend to share similar test cases or use similar heuristics to generate them. A natural way to improve the quality of testing is to make the most of the experience gained working on different projects or performing testing at different stages of the same project. To achieve this goal, a knowledgebase holding information relevant to test generation would be of a great help. This would facilitate reuse of test cases and generation algorithms and would allow sharing knowledge of "interesting" situations that can occur in a system under test. The paper proposes a concept of a knowledgebase for test generation that can be used in a wide range of test generation tools. At ISPRAS, it is applied in test program generation tools that create test programs for microprocessors. The knowledgebase is designed to store information on widely used test generation techniques and test situations that can occur in a microprocessor design under

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Efficacy of Generic Granisetron vs Kytril® for PONV in Major Gynecological Operations: A Randomized, Double-blind Clinical Trial

Background Granisetron is a first-generation 5-HT3-receptor antagonist that has shown efficacy in preventing postoperative nausea and vomiting (PONV). In this randomized double-blind parallel-group clinical trial, we assessed the efficacy of generic granisetron versus Kytril®, in the prevention of PONV in patients undergoing general anesthesia for gynaecological surgeries. Method One hundred an...

متن کامل

Efficacy of Generic Granisetron vs Kytril® for PONV in Major Gynecological Operations: A Randomized, Double-blind Clinical Trial

Background Granisetron is a first-generation 5-HT3-receptor antagonist that has shown efficacy in preventing postoperative nausea and vomiting (PONV). In this randomized double-blind parallel-group clinical trial, we assessed the efficacy of generic granisetron versus Kytril®, in the prevention of PONV in patients undergoing general anesthesia for gynaecological surgeries. Method One hundred an...

متن کامل

Investigation of Thermodynamic Consistency Test of Carbon Dioxide (CO2) in Room-Temperature Ionic liquids using Generic van der Waals Equation of State

Thermodynamic consistency test of isothermal vapor-liquid equilibrium (VLE) data of various binary systems containing Carbon dioxide (CO2)/Room temperature ionic liquids (RTILs) have been investigated in wide ranges of pressures in each isotherm precisely. In this paper Generic van der Waals (GvdW) equation of state (EoS) coupled with modified van der Waals Berthelot mixing rule has ...

متن کامل

Automated Test Generation for Java Generics

Software testing research has resulted in effective white-box test generation techniques that can produce unit test suites achieving high code coverage. However, research prototypes usually only cover subsets of the basic programming language features, thus inhibiting practical use and evaluation. One feature commonly omitted are Java’s generics, which have been present in the language since 20...

متن کامل

Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR

We present a new method for automatic test data generation (ATDG) applying to semantically annotated control-flow graphs (CFGs), covering both ATDG based on source code and assembly or virtual machine code. The method supports a generic set of test coverage criteria, including all structural coverage criteria currently in use in industrial software test for safety critical software. Several kno...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014